21. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
22. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
المؤلف: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
23. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
24. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
المؤلف: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
25. Clausal form logic : an introduction to the logic of computer reasoning
المؤلف: Richards, Tom.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
26. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
المؤلف: I.R. Goodman, H.T. Nguyen and E.A. Walker
المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع: Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
27. Computation, logic, philosophy : a collection of essays
المؤلف: Wang, Hao
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W35
1990
28. Computation, logic, philosophy :a collection of essays
المؤلف: Wang, Hao
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: Mathematics ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W35
1990
29. Computation, logic, philosophy : a collection of essays
المؤلف: Wang, Hao, 1291-5991
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35W35
1990
30. Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers
المؤلف: Egon Borger, Yuri Gurevich, Karl Meinke, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
832
31. Computer science logic
المؤلف: / Leszek Pacholski, Jerzy Tiuryn, eds
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
QA76
.
5
.
W64
1995
32. Computer science logic :
المؤلف: Hans Kleine Büning (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
33. Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
المؤلف: Hans Kleine Buning, ed.
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1092
34. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
75
.
5
.
W624
1991
35. Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
المؤلف: E. Borger...]et al.[, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
533
36. Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
المؤلف: E. Brger...]et al.[, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
702
37. Computer science logic : 5th Workshop, CSL'91 : proceedings
المؤلف:
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
626
38. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
المؤلف: Hans Kleine Buning, )ed.(
المکتبة: (کرمان)
موضوع: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
39. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
المؤلف: Hans Kleine Buning, )ed.(
المکتبة: (کرمان)
موضوع: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
40. Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
المؤلف: Hans Kleine Buning, )ed.(
المکتبة: (طهران)
موضوع: Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
